Reference Hub

This research has been cited in:

Chapter
An Semi-formal Co-verification Approach for High-Assurance CPSSimulation Tools and Techniques10.1007/978-3-030-32216-8_16
Article
Follow-the-Contact Point Gait Control and Hexapod RobotsJournal of the Robotics Society of Japan10.7210/jrsj.37.156
Conference
Modelling and Analysing Resilient Cyber-Physical Systems2019 IEEE/ACM 14th International Symposium on Software Engineering for Adaptive and Self-Managing Systems (SEAMS)10.1109/SEAMS.2019.00018
Chapter
Service Virtualization for Self-adaptation in Mobile Cyber-Physical SystemsService-Oriented Computing – ICSOC 2016 Workshops10.1007/978-3-319-68136-8_5
Conference
Development of an adaptive hexapod robot based on Follow-the-contact-point gait control and Timekeeper control2019 IEEE/RSJ International Conference on Intelligent Robots and Systems (IROS)10.1109/IROS40897.2019.8968158
Article
Derivation of Contactable Ranges for Decentralized-controlled Hexapod Robot Based on Model Checking with Timed AutomatonTransactions of the Society of Instrument and Control Engineers10.9746/sicetr.53.590
Chapter
Model-Based Engineering and Spatiotemporal Analysis of Transport SystemsEvaluation of Novel Approaches to Software Engineering10.1007/978-3-319-56390-9_3
Conference
Adaptive walk control for hexapod robot based on iterative model-checking and Timekeeper control2019 58th Annual Conference of the Society of Instrument and Control Engineers of Japan (SICE)10.23919/SICE.2019.8859889
Conference
Model-based development of a controller and simulator for a mobile robot2016 Fifth ICT International Student Project Conference (ICT-ISPC)10.1109/ICT-ISPC.2016.7519236
Chapter
Formal Model-Based Development in Industrial Automation with Reactive BlocksSoftware Technologies: Applications and Foundations10.1007/978-3-319-50230-4_19
Conference
Formal Analysis of Control Software for Cyber-Physical Systems2017 IEEE International Conference on Software Quality, Reliability and Security Companion (QRS-C)10.1109/QRS-C.2017.130
Article
Cyber Physical System (CPS)-Based Industry 4.0: A SurveyJournal of Industrial Integration and Management10.1142/S2424862217500142
Chapter
Model-Based Development and Spatiotemporal Behavior of Cyber-Physical SystemsInnovative Solutions and Applications of Web Services Technology10.4018/978-1-5225-7268-8.ch004

A Model-Based Toolchain to Verify Spatial Behavior of Cyber-Physical Systems

Peter Herrmann, Jan Olaf Blech, Fenglin Han, Heinz Schmidt

Source Title: International Journal of Web Services Research (IJWSR)13(1)

ISSN: 1545-7362|EISSN: 1546-5004|EISBN13: 9781466689046|DOI: 10.4018/IJWSR.2016010103

Cite Article Cite Article

MLA

Herrmann, Peter, et al. "A Model-Based Toolchain to Verify Spatial Behavior of Cyber-Physical Systems." IJWSR vol.13, no.1 2016: pp.40-52. http://doi.org/10.4018/IJWSR.2016010103

APA

Herrmann, P., Blech, J. O., Han, F., & Schmidt, H. (2016). A Model-Based Toolchain to Verify Spatial Behavior of Cyber-Physical Systems. International Journal of Web Services Research (IJWSR), 13(1), 40-52. http://doi.org/10.4018/IJWSR.2016010103

Chicago

Herrmann, Peter, et al. "A Model-Based Toolchain to Verify Spatial Behavior of Cyber-Physical Systems," International Journal of Web Services Research (IJWSR) 13, no.1: 40-52. http://doi.org/10.4018/IJWSR.2016010103

Export Reference

Favorite Full-Issue Download

View Full Text HTML

View Full Text PDF

Abstract

A method preserving cyber-physical systems to operate safely in a joint physical space is presented. It comprises the model-based development of the control software and simulators for the continuous physical environment as well as proving the models for spatial and real-time properties. The corresponding toolchain is based on the model-based engineering tool Reactive Blocks and the spatial model checker BeSpaceD. The real-time constraints to be kept by the controller are proven using the model checker UPPAAL.

You do not own this content. Please login to recommend this title to your institution's librarian or purchase it from the IGI Global bookstore.

Username or email: *

Password: *

Forgot individual login password?

Create individual account

A Model-Based Toolchain to Verify Spatial Behavior of Cyber-Physical Systems

MLA

APA

Chicago

Export Reference

Abstract

Request Access